solve x J_1(2 x) (1 - x^2) J_0(x) = 1